http://identifiers.org/mgd/MGI:5431129 MGI:5431129 Zc3hc1<tm1.2Jduy> targeted mutation 1.2, Justus Duyster Null/knockout